DDLV: A System for rational preferential reasoning for datalog
نویسندگان
چکیده
منابع مشابه
Sadra`s existential proof for reasoning the best creational system
This article has no abstract.
متن کاملThe Datalog Approach For Reasoning Over Ontologies
Ontologies is not just a buzz word, rather, the reality requires Ontologies to be a huge repository to perform metadata storage and management in the Semantic Web context. The belief proposed in this paper states that it is an essential way to develop a rule-based inference engine on the top of Ontologies to improve the performance of an Ontology as a semantic database system. Then the necessit...
متن کاملPreferential Reasoning for Modal Logics
Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence. Enriching modal logics with non-monotonic reasoning capabilities such as preferential reasoning as developed by Lehmann and colleagues would therefore constitute a natural extension of such KR formalisms. Nevertheless, there is at present no generally accep...
متن کاملa new approach to credibility premium for zero-inflated poisson models for panel data
هدف اصلی از این تحقیق به دست آوردن و مقایسه حق بیمه باورمندی در مدل های شمارشی گزارش نشده برای داده های طولی می باشد. در این تحقیق حق بیمه های پبش گویی بر اساس توابع ضرر مربع خطا و نمایی محاسبه شده و با هم مقایسه می شود. تمایل به گرفتن پاداش و جایزه یکی از دلایل مهم برای گزارش ندادن تصادفات می باشد و افراد برای استفاده از تخفیف اغلب از گزارش تصادفات با هزینه پائین خودداری می کنند، در این تحقیق ...
15 صفحه اولGeospatialRules: A Datalog+ RuleML Rulebase for Geospatial Reasoning
Representing and reasoning with qualitative geospatial relationships among regions is an important task in many geospatial applications. In this paper, we present a Datalog rulebase, GeospatialRules, which can be used for this task. The rulebase is built on top of the Region Connection Calculus (RCC). It includes rules, facts, and queries. The rules in GeospatialRules consist of a set of rules ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: South African Computer Journal
سال: 2020
ISSN: 2313-7835,1015-7999
DOI: 10.18489/sacj.v32i2.850